<div>
  <p>
    The URL of the manifest.  This is passed to repo as 
    <code>repo init -u <i>url</i></code>.
  </p>
</div>